Software mutation testing: towards combining program and model based techniques

The paper is devoted to the mutation testing technique that is widely used when testing different software tools. A short survey of existing methods and tools for mutation testing is presented in the paper. We classify existing methods: some of them rely on injecting bugs into a program under test while other use a formal model of the software in order to inject errors. We also provide a short description of existing tools that support both approaches. We further discuss how these two approaches might be combined for the mutation based test generation with the guaranteed fault coverage.